From 45428207208465315d87c635c7371aa73f191442 Mon Sep 17 00:00:00 2001
From: "ach61@labyrinth.cl.cam.ac.uk" <ach61@labyrinth.cl.cam.ac.uk>
Date: Wed, 30 Apr 2003 16:19:19 +0000
Subject: [PATCH] bitkeeper revision 1.195.1.1 (3eaff787jOwArrU61tGT-CiIMiVgkw)

virtual disk manager DTD for state file
---
 .rootkeys                 |  1 +
 tools/vdmanager/notes.xml | 35 +++++++++++++++++++++++++++++++++++
 2 files changed, 36 insertions(+)
 create mode 100644 tools/vdmanager/notes.xml

diff --git a/.rootkeys b/.rootkeys
index dc3adb8bff..5dbe203b37 100644
--- a/.rootkeys
+++ b/.rootkeys
@@ -16,6 +16,7 @@
 3e4d0046VHhXwFuG5FK34AVxqd5A_A tools/domain_builder/newdom
 3e4d0046IBzDIeaMbQB-e2QB2ahbig tools/domain_builder/vifinit
 3ea53c6dz47kAOwpk54f8_zOAQ5ngw tools/vdmanager/build.xml
+3eaff785PwN0C3-xhCf_zMCL27JIgQ tools/vdmanager/notes.xml
 3ea53c6dE-azH1i1VJmJMp9SHnETkQ tools/vdmanager/src/uk/ac/cam/cl/xeno/vdmanager/Extent.java
 3ea53c6dtqvqC3gxeAjzmSwkYsowIw tools/vdmanager/src/uk/ac/cam/cl/xeno/vdmanager/Library.java
 3ea53c6dVva2nmEP3TNM37RmshYJ1g tools/vdmanager/src/uk/ac/cam/cl/xeno/vdmanager/Main.java
diff --git a/tools/vdmanager/notes.xml b/tools/vdmanager/notes.xml
new file mode 100644
index 0000000000..a71e840a6d
--- /dev/null
+++ b/tools/vdmanager/notes.xml
@@ -0,0 +1,35 @@
+<?xml version="1.0"?>
+<!DOCTYPE vdmanager.dtd [
+<!ELEMENT vdmanager (partitions|free|virtual_disks|virtual_block_devices)*>
+
+<!ELEMENT partitions (partition)*>
+<!ELEMENT partition (major, minor, blocks, star_sect, nr_sects, name)>
+<!ELEMENT major (#PCDATA)>
+<!ELEMENT minor (#PCDATA)>
+<!ELEMENT blocks (#PCDATA)>
+<!ELEMENT start_sect (#PCDATA)>
+<!ELEMENT nr_sects (#PCDATA)>
+<!ELEMENT name (#PCDATA)>
+
+<!ELEMENT free (virtual_disk)?>
+<!ELEMENT virtual_disks (virtual_disk)*>
+<!ELEMENT virtual_disk (name, key, expiry, extents)>
+<!ELEMENT name (#PCDATA)>
+<!ELEMENT key (#PCDATA)>
+<!ELEMENT expiry (#PCDATA)>
+<!ELEMENT extents (extent)*>
+<!ELEMENT extent (disk, size, offset)>
+<!ELEMENT disk (#PCDATA)>
+<!ELEMENT size (#PCDATA)>
+<!ELEMENT offset (#PCDATA)>
+
+<!ELEMENT virtual_block_devices (virtual_block_device)*>
+<!ELEMENT virtual_block_device (key, domain, vbdnum, mode)>
+<!ELEMENT key (#PCDATA)>
+<!ELEMENT domain (#PCDATA)>
+<!ELEMENT vbdnum (#PCDATA)>
+<!ELEMENT mode (#PCDATA)>
+]>
+
+<vdmanager>
+</vdmanager>
-- 
2.30.2